/**
 * @file chk_dfa.c
 *  @brief check a graph to see if it represents a valid dfa
 *  @author Matthias Stallmann
 *  @date 1992
 *  $Id: chk_dfa.c 10 2007-06-28 20:08:57Z mfms $
 */

/*
 *  Copyright (C) 1992  Matthias Stallmann.
 *  Contact: matt_stallmann@ncsu.edu
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 2 of the License, or
 *  (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License along
 *  with this program (file COPYING.txt); if not, write to the Free Software
 *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301
 *  USA.
 */

#include "Gdr.h"
#include "general.h"
#include "alphabet.h"

void animat(void)
{
  check_dfa();
}

/*  [Last modified: 2007 06 28 at 19:42:39 GMT] */
